$\forall$$a$,$b$:rationals. (($a$ + {-}($a$) + $b$) = $b$) $\wedge$ (({-}($a$) + $a$ + $b$) = $b$)